Changing times to optimise reachability in temporal graphs

نویسندگان

  • Jessica Enright
  • Kitty Meeks
چکیده

Temporal graphs (in which edges are active only at specified time steps) are an increasingly important and popular model for a wide variety of natural and social phenomena. We propose a new extension of classical graph modification problems into the temporal setting, and describe several variations on a modification problem in which we assign times to edges so as to maximise or minimise reachability sets within a temporal graph. We give an assortment of complexity results on these problems, showing that they are hard under a variety of restrictions. In particular, if edges can be grouped into classes that must be assigned the same time, then our problem is hard even on directed acyclic graphs when both the reachability target and the classes of edges are of constant size, as well as on an extremely restrictive class of trees. We further show that one version of the problem is W[1]-hard when parameterised by the vertex cover number of the instance graph. In the case that each edge is active at a unique timestep, we identify some very restricted cases in which the problem is solvable in polynomial time; however, list versions of both problems (each edge may only be assigned times from a specified lists) remain NP-complete in this setting even if the graph is of bounded degree and the reachability target is a constant.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Answering reachability queries on streaming graphs

Graph reachability is a fundamental problem in many applications, such as reasoning in lightweight formalisms, geographic navigation, XML/RDF/OWL query processing, etc. Many real world scenarios involve huge graphs and require fast algorithms to test for reachability between nodes. The problem becomes even more challenging when the graph is rapidly changing and received as a real-time stream of...

متن کامل

Efficient Processing of Reachability and Time-Based Path Queries in a Temporal Graph

A temporal graph is a graph in which vertices communicate with each other at specific time, e.g., A calls B at 11 a.m. and talks for 7 minutes, which is modeled by an edge from A to B with starting time “11 a.m.” and duration “7 mins”. Temporal graphs can be used to model many networks with timerelated activities, but efficient algorithms for analyzing temporal graphs are severely inadequate. W...

متن کامل

Reachability checking in complex and concurrent software systems using intelligent search methods

Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...

متن کامل

TAGED Approximations for Temporal Properties Model-Checking

This paper investigates the use of tree automata with global equalities and disequalities (TAGED for short) in reachability analysis over term rewriting systems (TRSs). The reachability problem being in general undecidable on non terminating TRSs, we provide TAGEDbased construction, and then design approximation-based semi-decision procedures to model-check useful temporal patterns on in nite s...

متن کامل

Methods of Translation of Petri Nets to NuSMV Language

The paper deals with the problem of translation of reachability graphs for place-transition and coloured Petri nets into the NuSMV language. The translation algorithms presented in the paper have been implemented as a part of the PetriNet2NuSMV tool so the translation is made automatically. The PetriNet2NuSMV tool works with reachability graphs generated by the TINA and CPN Tools software. Thus...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1802.05905  شماره 

صفحات  -

تاریخ انتشار 2018